

code {
  font-family:'Bitstream Vera Sans Mono','Courier', monospace;
  font-size: .8em;
}

.highlight .c { color: @base01 } /* Comment */
.highlight .err { color: @base1 } /* Error */
.highlight .g { color: @base1 } /* Generic */
.highlight .k { color: @green } /* Keyword */
.highlight .l { color: @base1 } /* Literal */
.highlight .n { color: @base1 } /* Name */
.highlight .o { color: @green } /* Operator */
.highlight .x { color: @orange } /* Other */
.highlight .p { color: @base1 } /* Punctuation */
.highlight .cm { color: @base01 } /* Comment.Multiline */
.highlight .cp { color: @green } /* Comment.Preproc */
.highlight .c1 { color: @base01 } /* Comment.Single */
.highlight .cs { color: @green } /* Comment.Special */
.highlight .gd { color: @cyan } /* Generic.Deleted */
.highlight .ge { color: @base1; font-style: italic } /* Generic.Emph */
.highlight .gr { color: @red } /* Generic.Error */
.highlight .gh { color: @orange } /* Generic.Heading */
.highlight .gi { color: @green } /* Generic.Inserted */
.highlight .go { color: @base1 } /* Generic.Output */
.highlight .gp { color: @base1 } /* Generic.Prompt */
.highlight .gs { color: @base1; font-weight: bold } /* Generic.Strong */
.highlight .gu { color: @orange } /* Generic.Subheading */
.highlight .gt { color: @base1 } /* Generic.Traceback */
.highlight .kc { color: @orange } /* Keyword.Constant */
.highlight .kd { color: @blue } /* Keyword.Declaration */
.highlight .kn { color: @green } /* Keyword.Namespace */
.highlight .kp { color: @green } /* Keyword.Pseudo */
.highlight .kr { color: @blue } /* Keyword.Reserved */
.highlight .kt { color: @red } /* Keyword.Type */
.highlight .ld { color: @base1 } /* Literal.Date */
.highlight .m { color: @cyan } /* Literal.Number */
.highlight .s { color: @cyan } /* Literal.String */
.highlight .na { color: @base1 } /* Name.Attribute */
.highlight .nb { color: @yellow } /* Name.Builtin */
.highlight .nc { color: @blue } /* Name.Class */
.highlight .no { color: @orange } /* Name.Constant */
.highlight .nd { color: @blue } /* Name.Decorator */
.highlight .ni { color: @orange } /* Name.Entity */
.highlight .ne { color: @orange } /* Name.Exception */
.highlight .nf { color: @blue } /* Name.Function */
.highlight .nl { color: @base1 } /* Name.Label */
.highlight .nn { color: @base1 } /* Name.Namespace */
.highlight .nx { color: #555 } /* Name.Other */
.highlight .py { color: @base1 } /* Name.Property */
.highlight .nt { color: @blue } /* Name.Tag */
.highlight .nv { color: @blue } /* Name.Variable */
.highlight .ow { color: @green } /* Operator.Word */
.highlight .w { color: @base1 } /* Text.Whitespace */
.highlight .mf { color: @cyan } /* Literal.Number.Float */
.highlight .mh { color: @cyan } /* Literal.Number.Hex */
.highlight .mi { color: @cyan } /* Literal.Number.Integer */
.highlight .mo { color: @cyan } /* Literal.Number.Oct */
.highlight .sb { color: @base01 } /* Literal.String.Backtick */
.highlight .sc { color: @cyan } /* Literal.String.Char */
.highlight .sd { color: @base1 } /* Literal.String.Doc */
.highlight .s2 { color: @cyan } /* Literal.String.Double */
.highlight .se { color: @orange } /* Literal.String.Escape */
.highlight .sh { color: @base1 } /* Literal.String.Heredoc */
.highlight .si { color: @cyan } /* Literal.String.Interpol */
.highlight .sx { color: @cyan } /* Literal.String.Other */
.highlight .sr { color: @red } /* Literal.String.Regex */
.highlight .s1 { color: @cyan } /* Literal.String.Single */
.highlight .ss { color: @cyan } /* Literal.String.Symbol */
.highlight .bp { color: @blue } /* Name.Builtin.Pseudo */
.highlight .vc { color: @blue } /* Name.Variable.Class */
.highlight .vg { color: @blue } /* Name.Variable.Global */
.highlight .vi { color: @blue } /* Name.Variable.Instance */
.highlight .il { color: @cyan } /* Literal.Number.Integer.Long */



/* Pandoc does syntax highlighting using HTML markup from these classes */
/* Based on kate's own default colors for Haskell */
pre.sourceCode, table.sourceCode, table.sourceCode * { font-family: monospace; }
code.sourceCode span.kw { color: @yellow; font-weight: bold; }
code.sourceCode span.dt { color: @cyan; }
code.sourceCode span.dv { color: @base01; }
code.sourceCode span.bn { color: @orange; }
code.sourceCode span.fl { color: @cyan; }
code.sourceCode span.ch { color: @red; }
code.sourceCode span.st { color: @magenta; }
code.sourceCode span.co { color: @base01; font-style: italic; }
code.sourceCode span.ot { }
code.sourceCode span.al { color: @green; font-weight: bold; }
code.sourceCode span.fu { color: @blue; }
code.sourceCode span.re { }
code.sourceCode span.er { color: @red; font-weight: bold; }

